/* Customization */

body, table, div, p, dl {
  font: 400 13px/19px Roboto,sans-serif;
}

h1 {
  font-size:130%;
}

h2 {
  font-size:120%;
}

#titlearea
{
  display:none;
  visibility:hidden;
}

#revnumber
{
  text-align: center;
  font-weight: bold;
  margin-top: 1em;
  margin-bottom: 1em;
  font-size: 150%;
}

div.btkmenu
{
  text-align: center;
  padding-top: 1em;
}

div.important
{
  border: 1px solid #FF0000;
  background-color: #FF6666;
  padding: 4px 6px;
  margin: 4px 8px 4px 2px;
}

div.example
{
  border: 1px solid #CCCCCC;
  background-color: #f5f5f5;
  padding: 4px 6px;
  margin: 4px 8px 4px 2px;
}

div.info
{
  border: 1px solid #CCCCCC;
  background-color: #87CEFA;
  padding: 4px 6px;
  margin: 4px 8px 4px 2px;
}